Ylies Falcone: البحث على موقع Z-Library

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

حرية الوصول إلى المعرفة والثقافة.

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024

Z-Library واحدة من أكبر المكتبات الإلكترونية في العالم والتي تحتوي علي أكثر من 17,000,000 كتاب و 84,837,000 مقالة. هدفنا جعل الأدب متاح للجميع. اليوم ((15 سبتمبر 2024 نبدأ بجمع أموال وتبرعات إضافية لدعم و تطوير المشروع.

تتوفر أيضًا تنزيلات غير محدودة (في غضون 31 يومًا بعد يوم التبرع) لجميع المستخدمين الذين سيدعمون المشروع ويتبرعون خلال فترة جمع التبرعات حتى 1 أكتوبر 2024.

حول جمع التبرعاتالمزيد من التفاصيل

قدم تبرع لدعم المشروع

1

Lectures on Runtime Verification: Introductory and Advanced Topics

Lectures on Runtime Verification: Introductory and Advanced Topics

Springer International Publishing

Ezio Bartocci, Yliès Falcone (eds.)

عام:

2018

اللغة:

english

ملف:

PDF, 5.72 MB

0 / 0

english, 2018

2

Lectures on Runtime Verification: Introductory and Advanced Topics

Lectures on Runtime Verification: Introductory and Advanced Topics

Springer International Publishing

Bartocci, Ezio., Falcone, Yliès

عام:

2018

اللغة:

english

ملف:

EPUB, 5.13 MB

0 / 0

english, 2018

3

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 6.93 MB

0 / 0

english, 2010

4

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Ezio Bartocci (editor), Yliès Falcone (editor), Martin Leucker (editor)

عام:

2021

اللغة:

english

ملف:

PDF, 14.97 MB

0 / 4.5

english, 2021

5

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Springer International Publishing

Yliès Falcone, César Sánchez (eds.)

عام:

2016

اللغة:

english

ملف:

PDF, 20.81 MB

0 / 0

english, 2016

6

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 6.78 MB

0 / 0

english, 2010

7

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 6.98 MB

0 / 0

english, 2010